From a3b5f1a82ae68b26c83a694f192f71503d5565ff Mon Sep 17 00:00:00 2001 From: Mehdi Dogguy Date: Sat, 26 Dec 2009 19:17:20 +0100 Subject: [PATCH] camlp4boot is no longer installed --- debian/camlp4-extra.links | 1 - debian/changelog | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/camlp4-extra.links b/debian/camlp4-extra.links index 99d25f68..0d123abe 100644 --- a/debian/camlp4-extra.links +++ b/debian/camlp4-extra.links @@ -1,4 +1,3 @@ -usr/share/man/man1/camlp4.1.gz usr/share/man/man1/camlp4boot.1.gz usr/share/man/man1/camlp4.1.gz usr/share/man/man1/camlp4of.1.gz usr/share/man/man1/camlp4.1.gz usr/share/man/man1/camlp4rf.1.gz usr/share/man/man1/camlp4.1.gz usr/share/man/man1/camlp4oof.1.gz diff --git a/debian/changelog b/debian/changelog index f8ffd9db..c1bbf9a6 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,6 +2,7 @@ ocaml (3.11.1-6) unstable; urgency=low * camlp4-extra: - Add cma files back into the package (Requested by users). + - Don't install a manpage for camlp4boot (which is not installed). * debian/rules: - Do not compute dependencies for camlp4-extra -- 2.30.2